COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%alpha[e89,jmc]		Notes suggested by Morgenstern's thesis
C00005 00003	\smallskip\centerline{Copyright \copyright\ 1989\ by John McCarthy}
C00006 ENDMK
C⊗;
%alpha[e89,jmc]		Notes suggested by Morgenstern's thesis
\input memo.tex[let,jmc]
\title{Driving a red Alpha-Romeo convertible with the top down}


	The problem with (Morgenstern 1988), at least with Chapter 5,
is that there is a lot of formal language but almost no
formal reasoning.  Therefore, it isn't clear that the language
will support the reasoning required to use it to plan or
solve other problems.

	Let's consider one pleasant topic, ``driving a red
Alpha-Romeo convertible with the top down''.
Call the action $a1$.  It was presented as an example of the need
to decorate actions with modifiers.  Now let's consider related
reasoning tasks.  There are two primary kinds.

	1. How does one infer that someone is doing $a1$?

	2. How does one infer other facts from the fact that
someone is doing $a1$?

	Besides these there are the following in which
doing $a1$ is imbedded.

	3. How does one infer that someone wants to do $a1$ and
what can be inferred from it?

	4. How does one infer that someone wants $b1$?  We
use $b1$ to refer to a red Alpha-Romeo convertible and note
that whether the top is down is not a feature of $b1$.

	5. We should also be able to infer that someone doing
$a1$ will probably put the top up if it starts to rain.
\smallskip\centerline{Copyright \copyright\ 1989\ by John McCarthy}
\smallskip\noindent{This draft of ALPHA[E89,JMC]\ TEXed on \jmcdate\ at \theTime}
%File originated on 28-Aug-89
\vfill\eject\end